Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
131	MONOPOLY AS A MARKOV PROCESS ROBERT B. ASH AND RICHARD L. BISHOP Abstract. The limit frequencies of the positions in the game of Monopoly are calculated on the basis of Markov chains. In order to make the process Markovi Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-18 23:13:14 Algebra Mathematics Markov models Markov processes Abstract algebra Linear algebra Graph theory Markov chain Matrix Stochastic matrix Eigenvalues and eigenvectors Euclidean vector
132	Hierarchies in Fragments of Monadic Strict NP Barnaby Martin and Florent Madelaine Department of Computer Science, University of Durham, Science Labs, South Road, Durham DH1 3LE, U.K. Abstract. We expose a strict hierar Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:42 Graph theory Mathematics Graph coloring Homomorphism Morphisms XTR Order
133	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
134	Papers in pure mathematics motivated by and affecting the theory of computing April 12, L´ aszl´ o Babai. On the order of uniprimitive permutation groups. Ann. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 03:01:32 Finite groups Mathematics Permutation group IP Module:User:Lesser Cartographies/MR
135	Appendix A Sets, Relations and Functions Summary This chapter explains the basics of formal set notation, and gives an introduction to relations and functions. The chapter ends with a short account of the principle of pr Add to Reading List Source URL: www.cs.otago.ac.nz Language: English - Date: 2011-05-20 05:24:57 Mathematics Mathematical analysis Mathematical logic Order theory Binary relation Set theory Equivalence relation Asymmetric relation Transitive relation Equality Function Reflexive relation
136	Improved Parallel Integer Sorting without Concurrent Writing Susanne Albersyz Torben Hagerupy Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:07:42 Sorting algorithms Mathematics Order theory Theory of computation Radix sort Bitonic sorter Time complexity Merge sort Integer sorting Computational complexity theory Algorithm Big O notation
137	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
138	Bats Auction Mechanism (BAM) Price improvement opportunity for facilitating customers’ orders U.S. Options BAM, the Bats Auction Mechanism, allows Members to facilitate their clients’ (agency) orders on the Bats EDG Add to Reading List Source URL: cdn.batstrading.com Language: English - Date: 2016-08-01 09:28:38 Economy Finance Business Stock market Auction theory Auctions Financial markets Order Auction
139	From Formal Concept Analysis to Contextual Logic Frithjof Dau and Julia Klinger Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Philosophy Abstraction Graph theory Diagrams Formal concept analysis Lattice theory Ontology Conceptual graph Existential graph Graph First-order logic
140	Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions Erdal Imamoglu & Mark van Hoeij Florida State University Department of Mathematics Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 08:52:37 Mathematical analysis Calculus Ordinary differential equations Mathematics Operator theory Mathematical series Differential equations Multivariable calculus Hypergeometric function Linear differential equation Differential operator Regular singular point

UPDATE